@article{Chernikov15P,
author = "Andrey Chernikov and Jing Xu",
title = "Proof of Correctness of a Marching Cubes Algorithm Carried out with Coq",
journal = "Computational Geometry: Theory and Applications",
publisher = "Elsevier",
year = "2015",
month = "March"
}